|
Vector logic〔Mizraji, E. (1992). (Vector logics: the matrix-vector representation of logical calculus. ) Fuzzy Sets and Systems, 50, 179–185, 1992〕〔Mizraji, E. (2008) (Vector logic: a natural algebraic representation of the fundamental logical gates. ) Journal of Logic and Computation, 18, 97–121, 2008〕 is an algebraic model of elementary logic based on matrix algebra. Vector logic assumes that the truth values map on vectors, and that the monadic and dyadic operations are executed by matrix operators. == Overview == Classic binary logic is represented by a small set of mathematical functions depending on one (monadic ) or two (dyadic) variables. In the binary set, the value 1 corresponds to ''true'' and the value 0 to '' false''. A two-valued vector logic requires a correspondence between the truth-values ''true'' (t) and ''false'' (f), and two ''q''-dimensional normalized column vectors composed by real numbers ''s'' and ''n'', hence: : and (where is an arbitrary natural number, and “normalized” means that the length of the vector is 1; usually s and n are orthogonal vectors). This correspondence generates a space of vector truth-values: ''V''2 = . The basic logical operations defined using this set of vectors lead to matrix operators. The operations of vector logic are based on the scalar product between ''q''-dimensional column vectors: : the orthonormality between vectors ''s'' and ''n'' implies that if , and if . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Vector logic」の詳細全文を読む スポンサード リンク
|